A functor is essentially injective if it is injective on objects “up to isomorphism”, namely on isomorphism classes of objects.
is essentially injective or essentially injective on objects if, for any two objects and of , if there is an isomorphism in , then in . (The converse holds trivially, since functors preserve isomorphisms.) Equivalently, a functor is essentially injective if and only if it is injective on isomorphism classes.
A functor between discrete categories (or, more generally, skeletal categories) is essentially injective iff it is a injective function between the classes of objects.
An injective-on-objects functor is essentially injective if its image is skeletal, but not generally otherwise.
A composite of any two essentially injective functors is essentially injective.
If is essentially injective, then is essentially injective.
A conservative functor is essentially injective when it is full. More generally, any pseudomonic functor is essentially injective. More generally still, any fully faithful functor is essentially injective.
An isocofibration is a functor that is (strictly) injective on objects, and is hence essentially injective.
Some sources call this property “isomorphism reflecting” or “isomorphism creating”. However, such terminology more accurately refers to conservative functors.
basic properties of…
Last revised on December 4, 2023 at 20:57:56. See the history of this page for a list of all contributions to it.